81. The design of well-structured and correct programs

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Electronic digital computers - Programming,، Pascal )Computer program language(

رده :
QA
76
.
6
.
A44
مشاهده در قفسه مجازی RIS Bibtex ISO

82. The specification of computer programs

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Computer software- Development,، Electronic digital computers- Programming

رده :
QA
76
.
76
.
D47T87
1987
مشاهده در قفسه مجازی RIS Bibtex ISO

83. The theory and practice of compiler writing

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Electronic digital computers--Programming,Compilers (Computer programs)

رده :
QA
،
76
.
6
،.
T734
،
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

84. The theory and practice of compiler writing

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Electronic digital computers - Programming,Compilers (Computer programs)

رده :
QA76
.
6
.
T734
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

85. The theory and practice of compiler writing

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Electronic digital computers - Programming,Compilers (Computer programs)

رده :
QA
76
.
6
.
T734
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

86. The theory and practice of compiler writing

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Electronic digital computers -- Programming,، Compilers )Computer programs(

رده :
QA
76
.
6
.
T73
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

87. The theory and practice of compiler writing

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Electronic digital computers- Programming,، Compilers )Computer programs(

رده :
QA
76
.
6
.
T734
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

88. The theory and practice of compiler writing

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Electronic digital computers -- Programming,Compilers (Computer programs)

رده :
QA
76
.
6
.
T734
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

89. The theory and practice of compiler writing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Electronic digital computers - Programming,، Compilers )Computer programs(

رده :
QA
76
.
6
.
T734
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

90. Theory of program structures

پدیدآورنده :

موضوع : Electronic digital computers -- Programming,Recursive programming,Computer programs

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

91. Theory of program structures:Schemes, Semantics, Verification

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Programming ، Electronic digital computers,Recurlive programming,، Computer programs

رده :
QA
76
.
6
.
G743
1975
مشاهده در قفسه مجازی RIS Bibtex ISO

92. Theory of program structures : schemes, semantics, verification

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs

رده :
QA
76
.
6
.
G743
1975
مشاهده در قفسه مجازی RIS Bibtex ISO

93. Tutorial on software design techniques

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming,، Programs

رده :
QA
76
.
6
.
T88
1980
مشاهده در قفسه مجازی RIS Bibtex ISO

94. Tutorial on software design techniques: October 12, 1976, San Francisco, California

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming,، Computer programs

رده :
QA
76
.
6
.
T88
مشاهده در قفسه مجازی RIS Bibtex ISO

95. Writing pascal programs

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: PASCAL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING

رده :
QA
76
.
73
.
P2
R636
1983
مشاهده در قفسه مجازی RIS Bibtex ISO

96. <An> introduction to elementary computer and compiler design

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Electronic digital computers -- Design and construction►Electronic digital computers -- Programming►Compilers (Computer programs)

رده :
TK
7888
.
3
.
S72
مشاهده در قفسه مجازی RIS Bibtex ISO

97. <The> design of well-structured and correct programs

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Electronic digital computers -- Programming►Pascal (Computer program language)

رده :
QA
76
.
6
.
A44
مشاهده در قفسه مجازی RIS Bibtex ISO

98. <The> theory and practice of compiler writing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Electronic digital computers- Programming►Compilers (Computer programs)

رده :
QA
76
.
6
.
T734
1985
مشاهده در قفسه مجازی RIS Bibtex ISO